<?php
require_once 'File.php';
/**
 * FileManager
 *
 * @author tpr
 */
class FileManager 
{
    /*
     * Eine Datei vom Server laden.
     */
    public function downloadFile($file)
    {
        if ($file instanceof File)
        {
            $filepath = $file->getURL();
            $filename = $file->getName();
            $filesize = filesize($filepath);
            
            // Header 
            // TODO: Müssen immer vorher gesendet werden, 
            // d.h. am besten eine download.php erstellen
            header('Content-Type: multipart/mixed');
            header('Content-Disposition: attachment; filename=' . $filename);
            header('Content-Length: ' . $filesize);

            // Datei laden
            readfile($filepath);
        }
        else
        {
            echo 'INVALID FILE';
        }
    }
    
    /*
     * Eine Datei auf den Server hochladen.
     */
    public function uploadFile($file)
    {
        // TODO: UPLOAD
    }
}

?>
